You have chosen Hermarchus, George Boolos and Hermarchus.
All three must be different; choose another philosopher.